461. The beauty of mathematics in computer science /
پدیدآورنده : Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019
462. The computer modelling of mathematical reasoning /
پدیدآورنده : Alan Bundy, Department of Artificial Intelligence, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
463. The creativity code :
پدیدآورنده : Marcus du Sautoy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Conscious automata.,Creative ability-- Technological innovations.,Human-computer interaction.,Technology and the arts.,Artificial intelligence.,Computer algorithms.,COMPUTERS / Intelligence (AI) & Semantics.,COMPUTERS / Neural Networks.,Conscious automata.,Human-computer interaction.,MATHEMATICS / History & Philosophy.,PSYCHOLOGY / Creative Ability.,SOCIAL SCIENCE / Future Studies.,Technology and the arts.
رده :
Q335
.
D87
2019ab
464. The development of modern logic
پدیدآورنده : edited by Leila Haaparanta
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : History ، Logic
رده :
BC15
.
D48
2009
465. The elements of statistical learning :
پدیدآورنده : Trevor Hastie, Robert Tibshirani, Jerome Friedman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biology-- Data processing.,Computational biology.,Data mining.,Electronic data processing.,Mathematics-- Data processing.,Statistics.,Supervised learning (Machine learning),Algorithms.,Artificial Intelligence.,Computing Methodologies.,Learning.,Statistics as Topic.,Apprentissage supervisé (Intelligence artificielle),Biology-- Data processing.,Computational biology.,Data mining.,Electronic data processing.,Estatística computacional.,Estatística.,exploration de données, manuel.,inférence statistique, manuel.,Inferência estatística.,Maschinelles Lernen,Mathematics-- Data processing.,Mineração de dados.,prévision statistique, manuel.,Statistics.,Statistik,Supervised learning (Machine learning)
رده :
Q325
.
75
.
H37
2009
466. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
467. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
468. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
469. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
470. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
471. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Turing, Alan Mathison,--1912-1954,Mathematics.,Logic, Symbolic and mathematical.,Enigma cipher system.,Artificial intelligence.
رده :
QA7
,.
T772
,
2004
472. The last theorem /
پدیدآورنده : Arthur C. Clarke and Frederik Pohl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fermat's last theorem, Fiction.,Mathematicians, Fiction.,Physicists, Fiction.,Space vehicles-- Propulsion systems, Fiction.,Human-alien encounters, Fiction.,Survival, Fiction.,Fermat's last theorem.,Mathematicians.,Physicists.,Space vehicles-- Propulsion systems.,Sri Lanka, Fiction.,Sri Lanka., 0, 7
رده :
PR6005
.
L36
L37
2008
473. The mathematics of inheritance systems /
پدیدآورنده : David S. Touretzky
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence,Computer architecture,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
A73
T67
1986
474. The practical selection of mathematical models for the control inventory systems
پدیدآورنده : Jabbari, M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Applied mechanics,، Artificial intelligence,، Computational intelligence,، Engineering mathematics
رده :
TS
160
.
J3
1976
475. The proceedings of the 11th International CSI )Computer Society of Iran( Computer Conference, CSICC'2006, 24-26 January 2006, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics )IPM(, Tehran, Iran
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Computer architecture,، Artificial intelligence,، Software engineering
رده :
QA
76
.
I572
2006
476. The scientists :
پدیدآورنده : edited by Andrew Robinson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discoveries in science,Science-- History,Scientists, Biography
رده :
Q141
.
S3712
2012
477. The semantic web -- ISWC 2018 :
پدیدآورنده : Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
478. The tree of knowledge :
پدیدآورنده : Claudio Ronchi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science-- History.,History and Philosophical Foundations of Physics.,History of Science.,Physics.,Popular Science in Mathematics/Computer Science/Natural Science/Technology.
رده :
Q125
479. Theoretical approaches to non-numerical problem solving :
پدیدآورنده : Hermann Balzer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
480. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
